"John Hatcliff" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... Programming and Software Engineering)

John Hatcliff, Elena Zucca

Категория: Техника

2.88 Mb

#2

Tools and Algorithms for the Construction and Analysis of Systems, 9 conf., TACAS 2003

Hubert Garavel, John Hatcliff

Категория: Cs_Computer science, CsLn_Lecture notes

4.68 Mb

#3

Partial Evaluation - Practice and Theory, DIKU 1998

John Hatcliff, Torben Mogensen, Peter Thiemann

Категория: CsLn_

20.20 Mb